Developed a theoretical framework for analyzing concurrent systems, the calculus of communicating systems (CCS), and its successor, the pi-calculus. Ông cũng phát triển các nền tảng cho việc phân tích các concurrent systems, hệ thống calculus of communicating systems (CCS), và sau đó là pi-calculus.